Hypergraph Acyclicity and Propositional Model Counting
نویسندگان
چکیده
We show that the propositional model counting problem #SAT for CNFformulas with hypergraphs that allow a disjoint branches decomposition can be solved in polynomial time. We show that this class of hypergraphs is incomparable to hypergraphs of bounded incidence cliquewidth which were the biggest class of hypergraphs for which #SAT was known to be solvable in polynomial time so far. Furthermore, we present a polynomial time algorithm that computes a disjoint branches decomposition of a given hypergraph if it exists and rejects otherwise. Finally, we show that some slight extensions of the class of hypergraphs with disjoint branches decompositions lead to intractable #SAT, leaving open how to generalize the counting result of this paper.
منابع مشابه
On the counting complexity of propositional circumscription
Propositional circumscription, asking for the minimal models of a Boolean formula, is an important problem in artificial intelligence, in data mining, in coding theory, and in the model checking based procedures in automated reasoning. We consider the counting problems of propositional circumscription for several subclasses with respect to the structure of the formula. We prove that the countin...
متن کاملSAT Modulo Graphs: Acyclicity
Acyclicity is a recurring property of solutions to many important combinatorial problems. In this work we study embeddings of specialized acyclicity constraints in the satisfiability problem of the classical propositional logic (SAT). We propose an embedding of directed graphs in SAT, with arcs labelled with propositional variables, and an extended SAT problem in which all clauses have to be sa...
متن کاملASP Encodings of Acyclicity Properties
Many knowledge representation tasks involve trees or similar structures as abstract datatypes. However, devising compact and efficient declarative representations of such properties is non-obvious and can be challenging indeed. In this paper, we take acyclicity properties into consideration and investigate logic-based approaches to encode them. We use answer set programming as the primary repre...
متن کاملOn the complexity of two acyclic subhypergraphs problems
We investigate the computational complexity of two decision problems on hypergraphs, namely the Spanning Acyclic Subhypergraph problem and the Maximal Acyclic Subhypergraph problem. The former is the existence of an acyclic subhypergraph such that each vertex of the input hypergraph is contained in at least one hyperedge of the subhypergraph. The latter is the existence of an acyclic subhypergr...
متن کاملApproximating Acyclicity Parameters of Sparse Hypergraphs
The notions of hypertree width and generalized hypertree width were introduced by Gottlob, Leone, and Scarcello in order to extend the concept of hypergraph acyclicity. These notions were further generalized by Grohe and Marx who introduced the fractional hypertree width of a hypergraph. All these width parameters on hypergraphs are useful for extending tractability of many problems in database...
متن کامل